2636 search results - page 228 / 528 » Linear Programming |
134
Voted
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
112
Voted
VLSID
1994
IEEE
15 years 6 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...
124
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
135
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
117
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...