Search Sciweavers | Sciweavers

1710 search results - page 5 / 342

» High-Level Programs and Program Conditions

159

click to vote

DALT
2007
Springer

165views Intelligent Agents» more DALT 2007»

Composing High-Level Plans for Declarative Agent Programming

15 years 10 months ago

Download www.meneguzzi.eu

Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for eﬃcient implementations, but prevents an...

Felipe Rech Meneguzzi, Michael Luck

claim paper

Read More »

106

click to vote

IWPC
2006
IEEE

111views Software Engineering» more IWPC 2006»

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification

15 years 10 months ago

Download soft.vub.ac.be

Coen De Roover, Isabel Michiels, Kim Gybels, Kris ...

claim paper

Read More »

144

click to vote

ZUM
2005
Springer

143views Formal Methods» more ZUM 2005»

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

15 years 9 months ago

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

click to vote

EUROMICRO
2000
IEEE

63views Software Engineering» more EUROMICRO 2000»

Influence of High-Level Program Structures on Branch Prediction Accuracy

15 years 8 months ago

Download www.cacs.louisiana.edu

Afshin Ganjoo, Nian-Feng Tzeng

claim paper

Read More »

117

click to vote

ICSE
1993
IEEE-ACM

85views Software Engineering» more ICSE 1993»

A High Level Language for Specifying Graph Based Languages and Their Programming Environments

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers