Sciweavers

2057 search results - page 303 / 412
» Quadratic placement using an improved timing model
Sort
View
IPPS
1999
IEEE
15 years 10 months ago
Dynamic Application Structuring on Heterogeneous, Distributed Systems
The diversity of computers and networks within a distributed system makes these systems highly heterogeneous. System heterogeneity complicates the design of static applications tha...
Saurav Chatterjee
UIST
1993
ACM
15 years 10 months ago
A Graphics Toolkit Based on Differential Constraints
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
Michael Gleicher
ICRA
1995
IEEE
125views Robotics» more  ICRA 1995»
15 years 9 months ago
Inductive Generation of Diagnostic Knowledge for Autonomous Assembly
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
Luís Seabra Lopes, Luis M. Camarinha-Matos
SIGGRAPH
1995
ACM
15 years 9 months ago
Specializing shaders
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
Brian K. Guenter, Todd B. Knoblock, Erik Ruf
FMCAD
2008
Springer
15 years 7 months ago
Verifying an Arbiter Circuit
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
Chao Yan, Mark R. Greenstreet