Sciweavers

2107 search results - page 319 / 422
» b 2007
Sort
View
ISQED
2007
IEEE
236views Hardware» more  ISQED 2007»
16 years 23 days ago
3DFFT: Thermal Analysis of Non-Homogeneous IC Using 3D FFT Green Function Method
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...
Dongkeun Oh, Charlie Chung-Ping Chen, Yu Hen Hu
LICS
2007
IEEE
16 years 23 days ago
A Robust Class of Context-Sensitive Languages
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
MOBIQUITOUS
2007
IEEE
16 years 23 days ago
Assessing Standard and Inverted Skip Graphs Using Multi-Dimensional Range Queries and Mobile Nodes
—The skip graph, an application-layer data structure for routing and indexing, may be used in a sensor network to facilitate queries of the distributed k-dimensional data collect...
Gregory J. Brault, Christopher J. Augeri, Barry E....
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
16 years 23 days ago
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
Michael Brenner
SEFM
2007
IEEE
16 years 23 days ago
Model-driven architecture for cancer research
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim ...