7189 search results - page 1235 / 1438 » Connecting Design with Code |
118
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
150
click to vote
CAV
1997
Springer
15 years 7 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
124
click to vote
PG
2000
IEEE
15 years 7 months ago
2000
IEEE
A novel progressive geometry compression scheme is presented in the paper. In this scheme a mesh is represented as a base mesh followed by some groups of vertex split operations us...
136
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...
136
click to vote
MICRO
1995
IEEE
15 years 7 months ago
1995
IEEE
Current superscalar processors, both RISC and CISC, require substantial instruction fetch and decode bandwidth to keep multiple functional units utilized. While CISC instructions ...