2977 search results - page 515 / 596 » Programming Environments for Novices |
ICSE
1995
IEEE-ACM
14 years 1 months ago
1995
IEEE-ACM
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...
DBPL
1991
Springer
14 years 1 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
REX
1991
14 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
CNHPCA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...
ATAL
2008
Springer
14 years 1 days ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...