Sciweavers

1557 search results - page 80 / 312
» Programming up to Congruence
Sort
View
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 5 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner
IPPS
2005
IEEE
15 years 4 months ago
P2PDisCo - Java Distributed Computing for Workstations Using Chedar Peer-to-Peer Middleware
This paper introduces Peer-to-Peer Distributed Computing (P2PDisCo) software, which provides an interface for distributing the computation of Java programs to multiple workstation...
Niko Kotilainen, Mikko Vapa, Matthieu Weber, Joni ...
ICALP
2004
Springer
15 years 4 months ago
A Note on Karr's Algorithm
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
Markus Müller-Olm, Helmut Seidl
ASPLOS
1998
ACM
15 years 3 months ago
Fast Out-Of-Order Processor Simulation Using Memoization
Our new out-of-order processor simulator, FastSim, uses two innovations to speed up simulation 8–15 times (vs. Wisconsin SimpleScalar) with no loss in simulation accuracy. First...
Eric Schnarr, James R. Larus
PLDI
1998
ACM
15 years 3 months ago
A Study of Dead Data Members in C++ Applications
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
Peter F. Sweeney, Frank Tip