6239 search results - page 392 / 1248 » From Zinc to Design Model |
180
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
203
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Existing perceptual models of audio quality, such as PEAQ, were designed to measure audio codec performance and are not well suited to evaluation of audio source separation algorit...
246
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
218
click to vote
EUROPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
172
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...