Sciweavers

488 search results - page 56 / 98
» The descriptive complexity approach to LOGCFL
Sort
View
SERP
2003
14 years 11 months ago
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...
CVPR
2011
IEEE
14 years 1 months ago
Reconstruction of relief objects from line drawings
This paper addresses the problem of automatic reconstruction of a 3D relief from a line drawing on top of a given base object. Reconstruction is challenging due to four reasons â€...
Michael Kolomenkin, George Leifman, Ilan Shimshoni...
DIMACS
1996
14 years 11 months ago
Easier Ways to Win Logical Games
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
Ronald Fagin
CODES
2006
IEEE
15 years 4 months ago
Generic netlist representation for system and PE level design exploration
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
Bita Gorjiara, Mehrdad Reshadi, Pramod Chandraiah,...
ICSE
1999
IEEE-ACM
15 years 2 months ago
A Language and Environment for Architecture-Based Software Development and Evolution
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
Nenad Medvidovic, David S. Rosenblum, Richard N. T...