Sciweavers

1791 search results - page 237 / 359
» Behavioral Operations
Sort
View
ICCD
2001
IEEE
154views Hardware» more  ICCD 2001»
16 years 7 days ago
Performance Optimization By Wire and Buffer Sizing Under The Transmission Line Model
As the operating frequency increases to Giga Hertz and the rise time of a signal is less than or comparable to the time-of-flight delay of a line, it is necessary to consider the...
Tai-Chen Chen, Song-Ra Pan, Yao-Wen Chang
115
Voted
SOFSEM
2010
Springer
16 years 6 days ago
Web Science: The Digital-Heritage Case
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...
Guus Schreiber
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 10 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
HRI
2009
ACM
15 years 10 months ago
Situated messages for asynchronous human-robot interaction
An ongoing issue in human robot interaction (HRI) is how people and robots communicate with one another. While there is considerable work in real-time human-robot communication, f...
Nicolai Marquardt, James Everett Young, Ehud Sharl...
106
Voted
CCS
2009
ACM
15 years 10 months ago
Reactive noninterference
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sj&oum...