9186 search results - page 1237 / 1838 » A Module System for Scheme |
201
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
153
click to vote
ET
2000
15 years 6 months ago
2000
An efficient deterministic BIST scheme based on partial scan chains together with a scan selection algorithm tailored for BIST is presented. The algorithm determines a minimum num...
184
click to vote
ENTCS
2008
15 years 4 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
177
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...
191
Voted
DATESO
2009
15 years 4 months ago
2009
Ontology as a knowledge base can provide different reasoning tasks, e.g. to check consistency of the ontology or to check whether a resource is instance of a concept or not. In thi...