Sciweavers

1631 search results - page 56 / 327
» Extreme Programming - Back to Basics
Sort
View
95
Voted
ACSD
2005
IEEE
153views Hardware» more  ACSD 2005»
15 years 8 months ago
BoPi - A Distributed Machine for Experimenting Web Services Technologies
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
FPL
2001
Springer
115views Hardware» more  FPL 2001»
15 years 7 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...
118
Voted
ECOOP
1999
Springer
15 years 6 months ago
A Core Calculus of Classes and Mixins
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
Viviana Bono, Amit Patel, Vitaly Shmatikov
TCS
2008
15 years 2 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...
AI
2011
Springer
14 years 9 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon