4719 search results - page 522 / 944 » Spreadsheet functional programming |
133
Voted
ESOP
2001
Springer
15 years 9 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...
132
click to vote
FPL
2001
Springer
15 years 9 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...
145
Voted
LCTRTS
2001
Springer
15 years 9 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...
124
click to vote
DATE
2000
IEEE
15 years 9 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...
146
Voted
ICTAI
2000
IEEE
15 years 9 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...