4609 search results - page 823 / 922 » Automatic Generation of Sigma-Protocols |
196
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
A new heterogeneous multiprocessor system with dynamic memory and power management for improved performance and power consumption is presented. Increased data locality is automatic...
159
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
155
click to vote
ACL
2009
15 years 3 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
190
click to vote
BIBM
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
156
click to vote
ECMDAFA
2009
Springer
15 years 3 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...