Sciweavers

401 search results - page 41 / 81
» Analysis of discharge techniques for multiple battery system...
Sort
View
CHI
2008
ACM
14 years 8 months ago
LiveRAC: interactive visual exploration of system management time-series data
We present LiveRAC, a visualization system that supports the analysis of large collections of system management timeseries data consisting of hundreds of parameters across thousan...
Peter McLachlan, Tamara Munzner, Eleftherios Kouts...
PIMRC
2010
IEEE
13 years 5 months ago
Radio over telephone lines in femtocell systems
Wireless over Cable (WoC) paradigm is a new technique to enable distributed antennas systems. WoC is based on the relay of radio frequency wireless signals over a cable infrastruct...
Jonathan Gambini, Umberto Spagnolini
TVLSI
2002
130views more  TVLSI 2002»
13 years 7 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
CAV
2005
Springer
150views Hardware» more  CAV 2005»
14 years 1 months ago
Reasoning About Threads Communicating via Locks
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
Vineet Kahlon, Franjo Ivancic, Aarti Gupta
TCAD
2002
146views more  TCAD 2002»
13 years 7 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier