Sciweavers

4084 search results - page 431 / 817
» Constraints in spatial structures
Sort
View
HYBRID
2004
Springer
16 years 5 days ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
SAINT
2003
IEEE
16 years 2 days ago
Adapted Content Delivery for Different Contexts
In this paper, we present a framework which allows adapted content delivery for different target contexts. This framework is based on a Universal Profiling Schema UPS for describi...
Tayeb Lemlouma, Nabil Layaïda
185
Voted
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
15 years 12 months ago
Layout-aware pseudo-functional testing for critical paths considering power supply noise effects
When testing delay faults on critical paths, conventional structural test patterns may be applied in functionally-unreachable states, leading to over-testing or under-testing of t...
Xiao Liu, Yubin Zhang, Feng Yuan, Qiang Xu
ICCAD
1999
IEEE
81views Hardware» more  ICCAD 1999»
15 years 11 months ago
Robust optimization based backtrace method for analog circuits
In this paper, we propose a new robust approach to signal backtrace for efficiently testing embedded analog modules in a large system. The proposed signal backtrace method is form...
Alfred V. Gomes, Abhijit Chatterjee
ICRA
1999
IEEE
82views Robotics» more  ICRA 1999»
15 years 11 months ago
An Investigation into Non-Smooth Locomotion
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Milos Zefran, Francesco Bullo, Jim Radford