1166 search results - page 123 / 234 » Programming Language Support for Adaptable Wearable Computin... |
116
Voted
NJC
2006
15 years 2 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
253
Voted
FCCM
2011
IEEE
14 years 6 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
140
Voted
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
143
Voted
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
107
click to vote
ITICSE
2004
ACM
15 years 8 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...