1438 search results - page 142 / 288 » An Expressive Extension of TLC |
168
click to vote
EMISA
2007
Springer
16 years 20 days ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
180
click to vote
ESTIMEDIA
2007
Springer
16 years 20 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
147
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
143
click to vote
ICWL
2007
Springer
16 years 20 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
177
click to vote
PVM
2007
Springer
16 years 19 days ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...