9521 search results - page 1564 / 1905 » Compiling with continuations, continued |
183
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
179
Voted
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
206
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—We study the ubiquitous data collection for mobile users in wireless sensor networks. People with handheld devices can easily interact with the network and collect data....
316
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Active research in the area of 3-D neurite tracing has predominantly focused on single sections. Ultimately, however, neurobiologists desire to study the long range connectivity o...
200
click to vote
JCAM
2011
14 years 9 months ago
2011
Root lattices are efficient sampling lattices for reconstructing isotropic signals in arbitrary dimensions, due to their highly symmetric structure. One root lattice, the Cartesia...