4636 search results - page 671 / 928 » Modelling and Validation with VipTool |
151
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
In a Web database that dynamically provides information in response to user queries, two distinct schemas, interface schema (the schema users can query) and result schema (the sch...
118
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...
150
click to vote
ISCA
2003
IEEE
15 years 9 months ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
128
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
130
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...