3909 search results - page 532 / 782 » Extreme Model Checking |
165
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
147
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- This paper presents a novel architectural mechanism and a power management structure for the design of an energy-efficient Gigabit Ethernet controller. Key characteristics of suc...
156
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
191
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
160
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
- We demonstrate that the network flux over the sensor network provides us fingerprint information about the mobile users within the field. Such information is exoteric in the phys...