8766 search results - page 1234 / 1754 » Functional logic programming |
152
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
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...
145
click to vote
FPL
2001
Springer
15 years 10 months ago
2001
Springer
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...
160
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
145
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
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...
161
click to vote
ICTAI
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a problem-independent framework that uni es various mechanisms for solving discrete constrained nonlinear programming (NLP) problems whose functions are not ne...