2984 search results - page 357 / 597 » Method engineering process patterns |
119
Voted
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
TACS
1997
Springer
15 years 6 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
103
Voted
C3S2E
2008
ACM
15 years 4 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
IAAI
1993
15 years 3 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
133
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we describe methods to exploit search queries mined from search engine query logs to improve domain detection in spoken language understanding. We propose extending...