9110 search results - page 189 / 1822 » Formally-Based Design Evaluation |
149
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-speci c architectures in...
173
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Many approaches to learning and teaching rely upon students working in groups. So far, many Computer-Supported Group Formation systems have been designed to facilitate the formati...
135
click to vote
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
Our earlier work for fast evaluation of power consumption of general cores in a system-on-a-chip described techniques that involved isolating high-level instructions of a core, me...
131
click to vote
IWEC
2008
15 years 7 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
177
click to vote
CMS
2006
15 years 7 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...