5446 search results - page 912 / 1090 » Software Architecture - Introduction |
255
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Software as a Service (SaaS) and the possibility to compose Web services provisioned over the Internet are important assets for a service-oriented architecture (SOA). However, the ...
242
Voted
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
126
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
135
Voted
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
145
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...