3771 search results - page 664 / 755 » Subobject Transformation Systems |
122
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
138
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
152
click to vote
DB
2008
15 years 2 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
138
Voted
ENTCS
2008
15 years 2 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
100
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The new social media sites--blogs, wikis, del.icio.us and Flickr, among others--underscore the transformation of the Web to a participatory medium in which users are actively crea...