2145 search results - page 304 / 429 » Architectural Specifications in CASL |
155
click to vote
DAC
2006
ACM
16 years 6 months 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 ...
147
click to vote
SIGSOFT
2008
ACM
16 years 6 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 ...
132
click to vote
SIGSOFT
2005
ACM
16 years 6 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...
171
click to vote
ISBI
2008
IEEE
16 years 6 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...
130
click to vote
WWW
2008
ACM
16 years 6 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 ...