1525 search results - page 211 / 305 » Integrated Systems for Inducing Spatio-Temporal Process Mode... |
148
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
164
click to vote
EUROSYS
2010
ACM
15 years 10 months 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...
130
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
134
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
149
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...