3738 search results - page 473 / 748 » Parametrized Logic Programming |
179
Voted
SOFTWARE
2011
14 years 7 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
108
Voted
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
115
click to vote
KR
1998
Springer
15 years 5 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
93
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
111
click to vote
ICSE
2004
IEEE-ACM
16 years 27 days ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...