10707 search results - page 2070 / 2142 » Designing executable abstractions |
161
Voted
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Blue Gene/L uses a large number of low power processors, together with multiple integrated interconnection networks, to build a supercomputer with low cost, space and pow...
180
click to vote
EUROPKI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
157
Voted
FM
2005
Springer
15 years 11 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
170
Voted
FPL
2005
Springer
15 years 11 months ago
2005
Springer
— During codesign of a system, one still runs into the impedance mismatch between the software and hardware worlds. er identifies the different levels of abstraction of hardware...
160
Voted
FSE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...