Sciweavers

5608 search results - page 329 / 1122
» Structure description tools
Sort
View
141
Voted
NA
2010
82views more  NA 2010»
15 years 3 months ago
Semi-definite programming techniques for structured quadratic inverse eigenvalue problems
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
Matthew M. Lin, Bo Dong, Moody T. Chu
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 12 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
FDL
2007
IEEE
15 years 11 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
GRC
2007
IEEE
15 years 11 months ago
Enhancing Discovery of Web Services through Optimized Algorithms
This paper describes research in methods to discover Web Service Description Language (WSDL) documents. This work extends current discovery research through use of the Google Web ...
Janette Hicks, Madhusudhan Govindaraju, Weiyi Meng
FUN
2007
Springer
87views Algorithms» more  FUN 2007»
15 years 11 months ago
Knitting for Fun: A Recursive Sweater
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
Anna Bernasconi, Chiara Bodei, Linda Pagli