2145 search results - page 304 / 429 » Architectural Specifications in CASL |
DAC
2006
ACM
15 years 5 days ago
2006
ACM
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based ...
SIGSOFT
2008
ACM
14 years 12 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
SIGSOFT
2005
ACM
14 years 12 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
ISBI
2008
IEEE
14 years 12 months ago
2008
IEEE
This paper presents an automated, online approach to anomaly detection in high-content screening assays for pharmaceutical research. Online detection of anomalies is attractive be...
WWW
2008
ACM
14 years 12 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...