1112 search results - page 203 / 223 » Executing Abstract Test Cases |
104
click to vote
ISQED
2011
IEEE
14 years 26 days ago
2011
IEEE
—Design optimization methodologies for AMS-SoCs with analog, digital, and mixed-signal portions have not received significant attention, due to their high complexity. In mixed-s...
112
click to vote
ETFA
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— This article presents some results about schedulability analysis of tasks with offsets also known as transactions, in the particular case of monotonic transactions. The...
QI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
102
click to vote
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
WDAG
2009
Springer
15 years 4 months ago
2009
Springer
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...