2030 search results - page 270 / 406 » Designing Complex Software Implementation Programs |
116
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
125
click to vote
APL
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
121
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
210
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
115
click to vote
IJCAI
2007
15 years 4 months ago
2007
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...