3736 search results - page 266 / 748 » Hand-Writing Program Generator Generators |
157
click to vote
SYNASC
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider P colonies as introduced in [4] and investigate their computational power when working in the maximally parallel and in the sequential mode. It turns out that there is...
171
click to vote
DCOSS
2005
Springer
16 years 5 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
186
click to vote
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
189
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
174
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...