6306 search results - page 214 / 1262 » Space, Time, and the Use of Language |
104
Voted
RTCSA
2007
IEEE
15 years 5 months ago
2007
IEEE
Code optimization of the offset assignment generated in embedded systems allows for power and space efficient systems. We propose a new heuristic that uses edge classification to ...
CAV
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
96
Voted
MOBICOM
2010
ACM
14 years 11 months ago
2010
ACM
Guardbands are designed to insulate transmissions on adjacent frequencies from mutual interference. As more devices in a given area are packed into orthogonal wireless channels, c...
AAAI
1996
15 years 7 days ago
1996
Although researchers have studied which factors influence the behavior of traditional search algorithms, currently not much is known about how domain properties influence the perf...
86
Voted
CGF
2005
14 years 10 months ago
2005
This paper presents a real-time rendering pipeline for implicit surfaces defined by a regular volumetric grid of samples. We use a ray-casting approach on current graphics hardwar...