Sciweavers

2846 search results - page 484 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
15 years 10 months ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...
DAC
2010
ACM
15 years 10 months ago
Circuit modeling for practical many-core architecture design exploration
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
Dean Truong, Bevan M. Baas
MONET
2008
153views more  MONET 2008»
15 years 6 months ago
Comparison of MANET Routing Protocols Using a Scaled Indoor Wireless Grid
Predicting the performance of ad-hoc networking protocols has typically been performed by making use of software based simulation tools. Experimental study and validation of such p...
David Johnson, Albert Lysko
ICSE
2007
IEEE-ACM
16 years 14 days ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
JWSR
2007
106views more  JWSR 2007»
15 years 6 months ago
Architecture-Driven Service Discovery for Service Centric Systems
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
Alexander Kozlenkov, George Spanoudakis, Andrea Zi...