7124 search results - page 455 / 1425 » Programming Languages and Operating Systems |
206
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
215
Voted
USENIX
2001
15 years 9 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
195
click to vote
PPDP
2001
Springer
15 years 12 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
197
click to vote
WOSP
2000
ACM
15 years 12 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
228
click to vote
COMPSAC
2008
IEEE
16 years 2 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...