ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 2,244 of 1,394,228
|
|
Results 1 - 20 of 2,244
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
Design and Implementation of a Menu Based OSCAR Command Line Interface
|
|
May 2007
|
|
HPCS '07: Proceedings of the 21st International Symposium on High Performance Computing Systems and Applications
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
The Open Source Cluster Application Resources (OSCAR) toolkit is used to build and maintain HPC clusters. The OSCAR cluster installer provides a graphical user interface (GUI) "wizard" that directs the user through the installation process. This GUI ...
|
|
2
|
|
Structured design methodologies
|
|
June 1978
|
|
DAC '78: Proceedings of the 15th Design Automation Conference
|
|
Publisher: IEEE Press
|
|
Full text available: |
 Pdf
(1.59 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 7, Downloads (12 Months): 53, Downloads (Overall): 1070, Citation Count: 3 |
|
|
This tutorial considers the structure and construction of reliable software. By way of introduction, several of the structured programming and software engineering techniques are classified into three groups; those which impact primarily on the program ...
|
|
3
|
|
4
|
|
Estimating software fault content before coding
|
|
June 1992
|
|
ICSE '92: Proceedings of the 14th international conference on Software engineering
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(650.01 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 8, Downloads (12 Months): 47, Downloads (Overall): 387, Citation Count: 38 |
|
|
|
|
|
5
|
|
6
|
|
The synthesizer generator
|
|
April 1984
|
|
SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
Pdf
(625.44 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 72, Downloads (Overall): 385, Citation Count: 84 |
|
|
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer Generator ...
|
Also published in: |
| May 1984 |
SIGPLAN Notices |
Volume 19 Issue 5 |
| May 1984 |
SIGSOFT Software Engineering Notes |
Volume 9 Issue 3 |
|
|
7
|
|
Optimizing C with assembly code
|
|
December 1995
|
|
Optimizing C with assembly code
|
|
Publisher: Prentice-Hall, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
8
|
|
Acceptability-oriented computing
|
|
December 2003
|
|
SIGPLAN Notices
, Volume 38 Issue 12
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(446.05 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 17, Downloads (Overall): 222, Citation Count: 0 |
|
|
We discuss a new approach to the construction of software systems. Instead of attempting to build a system that is as free of errors as possible, the designer instead identifies key properties that the execution must satisfy to be acceptable to its users. ...
Keywords: acceptability properties, monitoring, rectification, repair
|
|
9
|
|
10
|
|
Palette: an extensible visual editor
|
|
March 1992
|
|
SAC '92: Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.31 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 12, Downloads (Overall): 173, Citation Count: 2 |
|
|
|
|
|
11
|
|
The second Futamura projection for type-directed partial evaluation
|
|
January 2000
|
|
PEPM '00: Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(2.22 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 19, Downloads (Overall): 152, Citation Count: 1 |
|
|
The second Futamura projection describes the automatic generation of non-trivial generating extensions by applying a partial evaluator to itself. We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE). ...
|
Also published in: |
| November 1999 |
SIGPLAN Notices |
Volume 34 Issue 11 |
|
|
12
|
|
Design of a Mobile Application Framework with Context Sensitivities
|
|
February 2006
|
|
IEICE - Transactions on Information and Systems
, Volume E89-D Issue 2
|
|
Publisher: Oxford University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
New service concepts involving mobile devices with a diverse range of embedded sensors are emerging that share contexts supporting communication on a wireless network infrastructure. To promote these services in mobile devices, we propose a method that ...
Keywords: context-based service, context sensitivity, context discovery, mobile application framework
|
|
13
|
|
Software Tools for Safety-Critical Systems According to DO-254
|
|
December 2008
|
|
Computer
, Volume 41 Issue 12
|
|
Publisher: IEEE Computer Society Press
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Software and hardware components of safety-critical systems must be developed in a unified manner.
Keywords: software engineering, tool certification, safety-critical systems
|
|
14
|
|
Building Executable Union Slices using Conditioned Slicing
|
|
June 2004
|
|
IWPC '04: Proceedings of the 12th IEEE International Workshop on Program Comprehension
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 4 |
|
|
Program slicing can be used as a support for programcomprehension, because it allows a large program to be dividedup into smaller slices, each of which can be understoodin isolation from the rest. As such, slicing facilitatesthe familiar approach of ...
|
|
15
|
|
16
|
|
Structural Evolution of an Open Source System: A Case Study
|
|
June 2004
|
|
IWPC '04: Proceedings of the 12th IEEE International Workshop on Program Comprehension
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 2 |
|
|
Software evolution empirical studies are madepossible only when data is available and easilycollectable. Open Source software provides a goodopportunity for observing software products in variousphases of their evolution, growth and maturity.One of the ...
|
|
17
|
|
18
|
|
The Elements of Java Style
|
|
November 1999
|
|
The Elements of Java Style
|
|
Publisher: Cambridge University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 4 |
|
|
From the Book:The syntax of a programming language tells you what code it is possible to write-what the machine will understand. Style tells you what you ought to write-what the humans reading the code will understand. Code written with a consistent, ...
|
|
19
|
|
The specification language T
|
|
May 2005
|
|
SIGPLAN Notices
, Volume 40 Issue 5
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(255.53 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 14, Downloads (Overall): 112, Citation Count: 0 |
|
|
The non-executable language T belongs to the class of open languages initially defined in [Sunik 1,2]. Open languages are artificial human languages with the grammar of OO programming languages. Similar to a natural language, an open language ...
Keywords: C++, language, non-executable computer language, object-oriented programming, specification language
|
|
20
|
|
Non-strict execution in parallel and distributed computing
|
|
April 2003
|
|
International Journal of Parallel Programming
, Volume 31 Issue 2
|
|
Publisher: Kluwer Academic Publishers
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
This paper surveys and demonstrates the power of non-strict evaluation in applications executed on distributed architectures. We present the design, implementation, and experimental evaluation of single assignment, incomplete data structures in a distributed ...
Keywords: incremental structures, message passing, non-strict information processing, partial evaluation, software cache
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site