Sciweavers

634 search results - page 102 / 127
» NLP (Natural Language Processing) for NLP (Natural Language ...
Sort
View
147
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 10 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
137
Voted
EGH
2005
Springer
15 years 9 months ago
Optimal automatic multi-pass shader partitioning by dynamic programming
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
Alan Heirich
125
Voted
UML
2005
Springer
15 years 9 months ago
Modeling Crosscutting Services with UML Sequence Diagrams
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
Martin Deubler, Michael Meisinger, Sabine Rittmann...
111
Voted
UML
2001
Springer
15 years 8 months ago
Catalytic Modeling: UML meets XP
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
Alan Wills
146
Voted
UML
2000
Springer
15 years 7 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt