2015 search results - page 173 / 403 » Hidden Software Capabilities |
134
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
115
click to vote
ICPPW
2000
IEEE
15 years 7 months ago
2000
IEEE
Many pervasive computing software technologies are targeted for 32-bit desktop platforms. However, there are innumerable 8, 16, and 32-bit microcontroller and microprocessor-based...
135
click to vote
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
117
click to vote
FPGA
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
109
Voted
SCI
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...