2850 search results - page 351 / 570 » On Timed Models and Full Abstraction |
173
click to vote
TRIDENTCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
161
click to vote
DIAGRAMS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
158
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
202
click to vote
MM
1993
ACM
15 years 10 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
164
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...