5377 search results - page 455 / 1076 » Programming Languages For Interactive Computing |
179
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
251
Voted
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
195
click to vote
SC
2000
ACM
16 years 2 days ago
2000
ACM
We present a new parallel programming tool environment that is (1) accessible and executable “anytime, anywhere,” through standard Web browsers and (2) integrated in that it p...
272
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
181
click to vote
TAPSOFT
1997
Springer
15 years 12 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...