2191 search results - page 312 / 439 » Aspect - A Problem For MT |
124
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
136
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
175
click to vote
HPCN
1999
Springer
15 years 8 months ago
1999
Springer
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...
99
Voted
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we present an approach to synthesize multiple behavior modules. Given n DFGs to be implemented, the previous methods scheduled each of them sequentially, and implem...
152
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...