2634 search results - page 156 / 527 » Faster Than Uppaal |
161
click to vote
ACMICEC
2003
ACM
15 years 11 months ago
2003
ACM
Combinatorial auctions are difficult to analyze in part because of the vast number of potential strategies available to the bidders. Proxy bidding interfaces limit the users’ s...
154
click to vote
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
A block-level placement and routing scheme called Fishbone is presented. The routing uses a two-layer spine topology. The pin locations are configurable and restricted to certain ...
143
click to vote
AGILEDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
148
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
209
click to vote
WAIFI
2010
Springer
15 years 11 months ago
2010
Springer
A cryptographic pairing evaluates as an element of a finite extension field, and the evaluation itself involves a considerable amount of extension field arithmetic. It is recogn...