10159 search results - page 1719 / 2032 » System Design Validation Using Formal Models |
203
click to vote
HPDC
2005
IEEE
16 years 10 days ago
2005
IEEE
Scheduling strategies for parallel and distributed computing have mostly been oriented toward performance, while striving to achieve some notion of fairness. With the increase in ...
174
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
184
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
Unlike the questionnaire based friend recommendation scheme used in Social Network Service (SNS) websites nowadays (e.g. online dating sites, online matchmaking sites), we focus o...
156
Voted
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
192
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...