Sciweavers

206 search results - page 20 / 42
» kais 2007
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
14 years 1 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
ICCAD
2007
IEEE
100views Hardware» more  ICCAD 2007»
14 years 1 months ago
Parallel domain decomposition for simulation of large-scale power grids
This paper presents fully parallel domain decomposition (DD) techniques for efficient simulation of large-scale linear circuits such as power grids. DD techniques that use non-ov...
Kai Sun, Quming Zhou, Kartik Mohanram, Danny C. So...
PRDC
2007
IEEE
14 years 1 months ago
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
Kai Han, Binoy Ravindran, E. Douglas Jensen
COSIT
2007
Springer
107views GIS» more  COSIT 2007»
13 years 11 months ago
A Uniform Handling of Different Landmark Types in Route Directions
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
Kai-Florian Richter
ICDM
2007
IEEE
301views Data Mining» more  ICDM 2007»
13 years 11 months ago
Stream Event Detection: A Unified Framework for Mining Outlier, Change and Burst Simultaneously over Data Stream
Event detection is one of the most important issues of event processing system, especially Complex Event Processing (CEP). Outlier event, change event and burst event are three ty...
Zhijian Yuan, Kai Du, Yan Jia, Jiajia Miao