308 search results - page 31 / 62 » Efficient Software Model Checking of Data Structure Properti... |
104
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: With the rapid emergence of RNA databases and newly identified non-coding RNAs, an efficient compression algorithm for RNA sequence and structural information is neede...
133
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
117
Voted
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...
CGF
2002
15 years 1 months ago
2002
BSP trees and KD trees are fundamental data structures for collision detection in walkthrough environments. A basic issue in the construction of these hierarchical data structures...
226
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...