Sciweavers

8190 search results - page 270 / 1638
» From Timed to Hybrid Systems
Sort
View
169
Voted
ERSA
2006
86views Hardware» more  ERSA 2006»
15 years 8 months ago
GifT: A Gravity-Directed and Life-Time Based Algorithm for Temporal Partitioning of Data Flow Graphs
In reconfigurable systems, reconfiguration latency has a significant impact on the system performance. In this work, a temporal partitioning algorithm is presented to partition da...
Farhad Mehdipour, Morteza Saheb Zamani, Mehdi Sedi...
RTAS
2009
IEEE
16 years 1 months ago
On Time-Aware Instrumentation of Programs
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
Sebastian Fischmeister, Patrick Lam
FOCS
1998
IEEE
15 years 11 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
16 years 1 months ago
Modeling the Impact of Increasing PHEV Loads on the Distribution Infrastructure
Numerous recent reports have assessed the adequacy of current generating capacity to meet the growing electricity demand from Plug-in Hybrid Electric Vehicles (PHEVs) and the pote...
Chris Farmer, Paul Hines, Jonathan Dowds, Seth Blu...
148
Voted
RTCSA
2008
IEEE
16 years 1 months ago
Control-Based Real-Time Metadata Matching for Information Dissemination
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
Ming Chen, Xiaorui Wang, Raghul Gunasekaran, Hairo...