7890 search results - page 1542 / 1578 » The MathSAT 3 System |
163
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we introduce the “Plug” sensor network, a ubiquitous networked sensing platform ideally suited to broad deployment in environments where people work and live. T...
163
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
138
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
157
click to vote
XPU
2007
Springer
15 years 11 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
177
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we...