7576 search results - page 180 / 1516 » UNIX as an Application Program |
132
Voted
COMPSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
148
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
134
Voted
CCE
2004
15 years 4 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
125
Voted
TPDS
2010
15 years 2 months ago
2010
—This paper derives simple, yet fundamental formulas to describe the interplay between parallelism of an application, program performance, and energy consumption. Given the ratio...
279
click to vote
FCCM
2011
IEEE
14 years 8 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...