Sciweavers

8697 search results - page 232 / 1740
» An Approach to the Enterprise Integration
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 10 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
COLING
2008
15 years 8 months ago
Syntactic Reordering Integrated with Phrase-Based SMT
We present a novel approach to word reordering which successfully integrates syntactic structural knowledge with phrase-based SMT. This is done by constructing a lattice of altern...
Jakob Elming
ACL
1997
15 years 8 months ago
Integrating Symbolic and Statistical Representations: The Lexicon Pragmatics Interface
We describe a formal framework for interpretation of words and compounds in a discourse context which integrates a symbolic lexicon/grammar, word-sense probabilities, and a pragma...
Ann A. Copestake, Alex Lascarides
DAC
2007
ACM
16 years 7 months ago
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...
Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin
VLSID
2005
IEEE
102views VLSI» more  VLSID 2005»
16 years 7 months ago
Integrated On-Chip Storage Evaluation in ASIP Synthesis
An Application Specific Instruction Set Processor (ASIP) exploits special characteristics of the given application(s) to meet the desired performance, cost and power requirements....
Manoj Kumar Jain, M. Balakrishnan, Anshul Kumar