10666 search results - page 1897 / 2134 » Quantum programming languages |
118
click to vote
ICALP
1989
Springer
15 years 8 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
139
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
148
click to vote
UM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
140
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
160
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...