2763 search results - page 176 / 553 » The Dangerous 'All' in Specifications |
156
click to vote
SCP
2008
15 years 6 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
151
click to vote
SOSYM
2008
15 years 6 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
161
click to vote
INTERNET
2007
15 years 6 months ago
2007
that the educator is an abstract role; often many kinds of people are involved, including subject-matter experts, content authors, instructional designers, and teachers. No individ...
162
click to vote
TCS
2008
15 years 6 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
175
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...