4722 search results - page 496 / 945 » Encoding Program Executions |
117
Voted
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
155
Voted
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
137
click to vote
SAMOS
2009
Springer
15 years 11 months ago
2009
Springer
We believe that future many-core architectures should support a simple and scalable way to execute many threads that are generated by parallel programs. A good candidate to impleme...
134
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
143
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...