3335 search results - page 615 / 667 » A Unified Approach to Modeling and Programming |
130
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
200
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
146
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
The emergence of grid and a new class of data-driven applications is making a new form of parallelism desirable, which we refer to as coarse-grained pipelined parallelism. This pa...
110
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
139
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a new modulo scheduling algorithm for clustered microarchitectures. The main feature of the proposed scheme is that the assignment of instructions to clusters ...