Sciweavers

2433 search results - page 195 / 487
» Power laws in software
Sort
View
SENSYS
2009
ACM
16 years 1 months ago
A wake-on sensor network
: This paper present a wake-on sensor network formed with the wake-on motes, TelosW. Our wake-on hardware and software design enable lower power operations and longer network lifet...
Gang Lu, Debraj De, Mingsen Xu, Wen-Zhan Song, Beh...
SOCO
2005
Springer
16 years 1 days ago
On Typesafe Aspect Implementations in C++
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
Daniel Lohmann, Olaf Spinczyk
ICALT
2003
IEEE
15 years 12 months ago
Visualization of the Learning Process Using Concept Mapping
Visualization of the learning processes is a powerful way to help students to understand their curricula and the structure behind them. CME2 is a prototype software of this favour...
Jussi A. Nuutinen, Erkki Sutinen
DAGSTUHL
2001
15 years 8 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
JUCS
2007
122views more  JUCS 2007»
15 years 6 months ago
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
Andrei de Araújo Formiga, Rafael Dueire Lin...