338 search results - page 34 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
90
Voted
ESOP
2010
Springer
15 years 3 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
101
Voted
PROCEDIA
2010
14 years 7 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
91
Voted
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
107
click to vote
SIGPLAN
2002
15 years 3 days ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
111
Voted
WSC
2000
15 years 1 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...