Sciweavers

2786 search results - page 363 / 558
» A Practical Technique for Process Abstraction
Sort
View
FDL
2007
IEEE
16 years 26 days ago
An Integrated SystemC Debugging Environment
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
Frank Rogin, Christian Genz, Rolf Drechsler, Steff...
ISCAS
2007
IEEE
134views Hardware» more  ISCAS 2007»
16 years 24 days ago
4.7pJ/pulse 7th Derivative Gaussian Pulse Generator for Impulse Radio UWB
Abstract—This paper presents a ultra low-power, lowcomplexity circuit to generate the monocycle pulse for Impulse Radio UWB (IR-UWB) applications. A 7th order derivative Gaussian...
Tuan-Anh Phan, Vladimir Krizhanovskii, Seok-Kyun H...
QEST
2007
IEEE
16 years 24 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
AGILE
2007
Springer
168views GIS» more  AGILE 2007»
16 years 21 days ago
Depth Cue of Occlusion Information as Criterion for the Quality of Annotation Placement in Perspective Views
Abstract. In cartography and computational geometry, concepts and techniques for automated label placement have been developed for twodimensional maps. Less is known whether these ...
Stefan Maass, Markus Jobst, Jürgen Dölln...
CONTEXT
2007
Springer
16 years 21 days ago
Delimited Continuations in Operating Systems
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
Oleg Kiselyov, Chung-chieh Shan