Sciweavers

716 search results - page 32 / 144
» time 1997
Sort
View
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
HOTOS
1997
IEEE
15 years 10 months ago
Run-Time Code Generation as a Central System Service
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
Michael Franz
ICCD
1997
IEEE
123views Hardware» more  ICCD 1997»
15 years 10 months ago
A Parallel Circuit-Partitioned Algorithm for Timing Driven Cell Placement
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process. All previous work in parallel simulated annealing bas...
John A. Chandy, Prithviraj Banerjee
DAGM
1997
Springer
15 years 10 months ago
A Feature Map Approach to Real-Time 3-D Object Pose Estimation from Single 2-D Perspective Views
A novel approach to the computation of an approximate estimate of spatial object pose from camera images is proposed. The method is based on a neural network that generates pose hy...
S. Winkler, Patrick Wunsch, Gerd Hirzinger
HYBRID
1997
Springer
15 years 10 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani