4323 search results - page 656 / 865 » Callback Implementations in C |
130
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
129
Voted
ASWEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
192
click to vote
BSN
2009
IEEE
15 years 2 months ago
2009
IEEE
Clinicians have determined that continuous ambulatory monitoring provides significant preventative and diagnostic benefit, especially to the aged population. In this paper we descr...
172
click to vote
CSIE
2009
IEEE
15 years 1 months ago
2009
IEEE
Grid computing has become very popular in big and widespread scientific communities with high computing demands, like high energy physics. Computing resources are being distribute...
139
click to vote
EMNLP
2009
15 years 1 months ago
2009
Set expansion refers to expanding a partial set of "seed" objects into a more complete set. One system that does set expansion is SEAL (Set Expander for Any Language), w...