Sciweavers

11558 search results - page 2103 / 2312
» Analytics for software development
Sort
View
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TCS
2002
15 years 6 months ago
CASL: the Common Algebraic Specification Language
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
Egidio Astesiano, Michel Bidoit, Hélè...
TSE
2002
99views more  TSE 2002»
15 years 6 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
TVLSI
2002
130views more  TVLSI 2002»
15 years 6 months ago
HW/SW codesign techniques for dynamically reconfigurable architectures
Abstract--Hardward/software (HW/SW) codesign and reconfigurable computing are commonly used methodologies for digitalsystems design. However, no previous work has been carried out ...
Juanjo Noguera, Rosa M. Badia
MTA
2007
86views more  MTA 2007»
15 years 6 months ago
Toolkits and interface creativity
Interface toolkits in ordinary application areas let average programmers rapidly develop software resembling other standard applications. In contrast, toolkits for novel and perhap...
Saul Greenberg
« Prev « First page 2103 / 2312 Last » Next »