1660 search results - page 124 / 332 » Abstract Application Modeling for System Design Space Explor... |
131
click to vote
SSDBM
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
131
click to vote
VIS
2007
IEEE
2007
IEEE
Contextualized Videos: Combining Videos with Environment Models to Support Situational Understanding
16 years 5 months ago
Multiple spatially-related videos are increasingly used in security, communication, and other applications. Since it can be difficult to understand the spatial relationships betwee...
163
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
120
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
137
Voted
COORDINATION
2000
Springer
15 years 8 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...