Sciweavers

4716 search results - page 520 / 944
» Tangible functional programming
Sort
View
IFIP
2009
Springer
15 years 7 months ago
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
Zbigniew Paszkiewicz, Willy Picard
113
Voted
ESOP
2001
Springer
15 years 7 months ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl
FPL
2001
Springer
92views Hardware» more  FPL 2001»
15 years 7 months ago
Secure Configuration of Field Programmable Gate Arrays
Although SRAM programmed Field Programmable Gate Arrays (FPGA's) have come to dominate the industry due to their density and performance advantages over non-volatile technolog...
Tom Kean
121
Voted
LCTRTS
2001
Springer
15 years 7 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
100
Voted
DATE
2000
IEEE
85views Hardware» more  DATE 2000»
15 years 7 months ago
Gate Sizing Using a Statistical Delay Model
This paper is about gate sizing under a statistical delay model. It shows we can solve the gate sizing problem exactly for a given statistical delay model. The formulation used al...
E. T. A. F. Jacobs, Michel R. C. M. Berkelaar