Sciweavers

377 search results - page 56 / 76
» Modular logic metaprogramming
Sort
View
FPL
2004
Springer
74views Hardware» more  FPL 2004»
14 years 24 days ago
A Structured Methodology for System-on-an-FPGA Design
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
N. Pete Sedcole, Peter Y. K. Cheung, George A. Con...
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
14 years 23 days ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
ICSE
1998
IEEE-ACM
13 years 11 months ago
Conceptual Module Querying for Software Reengineering
Many tools have been built to analyze source code. Most of these tools do not adequately support reengineering activities because they do not allow a software engineer to simultan...
Elisa L. A. Baniassad, Gail C. Murphy
EUROSYS
2007
ACM
13 years 11 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
DELTA
2006
IEEE
13 years 11 months ago
Synthesis of Nanoelectronic Circuits on Delay-Insensitive Cellular Arrays
The difficulties of designing nanoscale circuits include the need for regular circuit structure and controlling the timing requirements. A cellular array has highly regular struct...
Jia Di, Dilip P. Vasudevan