2713 search results - page 151 / 543 » Parameterized Tree Systems |
168
Voted
DSS
2011
14 years 7 months ago
2011
In the current paper, we outline several approaches to determine the value of information system (IS) flexibility, defined as the extent to which an IS can be modified and upgrade...
132
Voted
DCC
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper we introduce StarZip, a multi-corpora lossless text compression utility which incorporates StarNT, our newly proposed transform algorithm. StarNT is a dictionary-base...
138
Voted
ISQED
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies multi-core clock distribution using active deskewing methods. We propose an efficient methodology that uses Verilog-A to model PLLs, clock trees and power suppl...
204
Voted
ACL
2010
15 years 1 months ago
2010
Finding a class of structures that is rich enough for adequate linguistic representation yet restricted enough for efficient computational processing is an important problem for d...
140
Voted
FUIN
2010
15 years 1 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...