1743 search results - page 16 / 349 » Generalized Modal Satisfiability |
98
Voted
ISPD
2006
ACM
15 years 8 months ago
2006
ACM
In this invited note we outline several algorithms and features appearing in Capo 10, free open-source software for congestion-driven standard cell placement, mixed-size placement...
113
click to vote
FPL
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
116
click to vote
AAIM
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we study how to, given a set of pre-routed requests in an all-optical network and a set of wavelengths available on each link, assign a subset of requests with maxim...
174
click to vote
LPAR
2010
Springer
15 years 12 days ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
127
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...