9443 search results - page 1532 / 1889 » Web-centric language models |
187
click to vote
ISOLA
2007
Springer
16 years 28 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
203
Voted
EUROSYS
2010
ACM
16 years 27 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
190
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
206
click to vote
SEW
2006
IEEE
16 years 23 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
171
click to vote
SIGDOC
2006
ACM
16 years 22 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...