2057 search results - page 121 / 412 » Quadratic placement using an improved timing model |
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
171
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
141
click to vote
EMNLP
2008
15 years 7 months ago
2008
Previous work on ordering events in text has typically focused on local pairwise decisions, ignoring globally inconsistent labels. However, temporal ordering is the type of domain...
181
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
181
click to vote
VEE
2010
ACM
16 years 1 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...