3458 search results - page 12 / 692 » Abstracting Control |
124
Voted
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
SIGGRAPH
1990
ACM
15 years 5 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
98
Voted
WWW
2009
ACM
16 years 2 months ago
2009
ACM
ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...
77
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...