Sciweavers

3796 search results - page 355 / 760
» Presentations by Programmers for Programmers
Sort
View
ICLP
1995
Springer
15 years 7 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
ICSM
1995
IEEE
15 years 7 months ago
Iterative reengineering to compensate for quick-fix maintenance
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...
Filippo Lanubile, Giuseppe Visaggio
UIST
1995
ACM
15 years 7 months ago
Migratory Applications
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
Krishna Bharat, Luca Cardelli
ARC
2008
Springer
115views Hardware» more  ARC 2008»
15 years 6 months ago
A High Throughput FPGA-based Floating Point Conjugate Gradient Implementation
As Field Programmable Gate Arrays (FPGAs) have reached capacities beyond millions of equivalent gates, it becomes possible to accelerate floating-point scientific computing applica...
Antonio Roldao Lopes, George A. Constantinides
ARC
2008
Springer
155views Hardware» more  ARC 2008»
15 years 6 months ago
Run-time Adaptable Architectures for Heterogeneous Behavior Embedded Systems
As embedded applications are getting more complex, they are also demanding highly diverse computational capabilities. The majority of all previously proposed reconfigurable archite...
Antonio Carlos Schneider Beck, Mateus B. Rutzig, G...