5863 search results - page 1105 / 1173 » On Model-Checking of P Systems |
115
Voted
ICCD
2005
IEEE
16 years 19 days ago
2005
IEEE
Abstract— Noise induced by impedance discontinuities from VLSI packaging is one of the leading challenges facing system level designers in the next decade. The performance of IC ...
124
Voted
IUI
2009
ACM
16 years 18 days ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
123
click to vote
ISPASS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe and evaluate two new, independently-applicable power reduction techniques for power management on processors that support dynamic voltage and frequency scaling (DVFS):...
143
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We study the complexity of rationalizing network formation. In this problem we fix an underlying model describing how selfish parties (the vertices) produce a graph by making...
140
Voted
VR
2009
IEEE
15 years 10 months ago
2009
IEEE
High resolution 2D video content in High Definition or higher resolutions has become widespread and video playback of such media in immersive virtual environments (VE) will be a ...