7529 search results - page 134 / 1506 » The Modula-3 Type System |
188
click to vote
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
144
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
117
click to vote
IJBC
2008
15 years 4 months ago
2008
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
115
click to vote
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
135
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...