226 search results - page 15 / 46 » Modular Compilation of a Synchronous Language |
114
click to vote
LCTRTS
2010
Springer
14 years 9 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
131
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
94
Voted
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
93
Voted
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...