Sciweavers

2576 search results - page 230 / 516
» Methodology work is ontology work
Sort
View
ATAL
2004
Springer
16 years 4 days ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
CC
2004
Springer
110views System Software» more  CC 2004»
16 years 4 days ago
The Limits of Alias Analysis for Scalar Optimizations
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
Rezaul Alam Chowdhury, Peter Djeu, Brendon Cahoon,...
GRID
2004
Springer
16 years 4 days ago
On The Feasibility of Running Entity-Level Simulations on Grid Platforms
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...
Alan Su, Francine Berman, Henri Casanova
DFT
2003
IEEE
64views VLSI» more  DFT 2003»
16 years 1 days ago
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, ...
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
16 years 1 days ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli