1464 search results - page 16 / 293 » Behavioral optimization using the manipulation of timing con... |
ENTCS
2007
13 years 8 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Power minimization under variability is formulated as a rigorous statistical robust optimization program with a guarantee of power and timing yields. Both power and timing metrics...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper describes the development and initial testing of a new and optimized version of a steady-hand manipulator for retinal microsurgery. In the steady-hand paradigm, the ...
ICCAD
2009
IEEE
13 years 6 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
IWSEC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...