3663 search results - page 480 / 733 » Problems in the ontology of computer programs |
165
click to vote
PDP
2005
IEEE
16 years 6 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
168
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
160
click to vote
COORDINATION
2005
Springer
16 years 5 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
165
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
137
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...