10707 search results - page 307 / 2142 » Designing executable abstractions |
144
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
144
click to vote
TC
1998
15 years 4 months ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
106
click to vote
TVLSI
2002
15 years 4 months ago
2002
Abstract--We introduce the notion of energy-scalable systemdesign. The principal idea is to maximize computational quality for a given energy constraint at all levels of the system...
128
click to vote
IMCSIT
2010
14 years 11 months ago
2010
Abstract--The paper is focused on NI Compact-RIO configured as a controller for the active magnetic levitation used here as a benchmark for time-critical systems. Three realtime co...
110
Voted
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...