6722 search results - page 1159 / 1345 » Reuse-Conducive Development Environments |
144
Voted
MOBIHOC
2000
ACM
15 years 7 months ago
2000
ACM
AbstractDeveloping wireless sensor networks can enable information gathering, information processing and reliable monitoring of a variety of environments for both civil and militar...
142
Voted
CAV
1997
Springer
15 years 7 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
146
Voted
ACMSE
1995
ACM
15 years 7 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
125
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
High performance computing is being increasingly utilized in non-traditional circumstances where it must interoperate with other applications. For example, online visualization is...
126
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...