2297 search results - page 252 / 460 » Production of Large Computer Programs |
123
click to vote
CIE
2005
Springer
15 years 8 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
107
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
109
Voted
CP
2008
Springer
15 years 4 months ago
2008
Springer
Constraints that are defined by tables of allowed tuples of assignments are common in constraint programming. In this paper we present an approach to reformulating table constraint...
113
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed e�...
105
click to vote
FECS
2007
15 years 4 months ago
2007
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...