909 search results - page 147 / 182 » Temporal Logic Case Study |
FSS
2008
13 years 8 months ago
2008
In order to obtain a demanded fuzzy implication, a number of properties have been proposed, among which the first place antitonicity, the second place monotonicity and the boundar...
VLSISP
2008
13 years 8 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
TMC
2012
11 years 11 months ago
2012
—3G networks are currently overloaded, due to the increasing popularity of various applications for smartphones. Offloading mobile data traffic through opportunistic communicatio...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
HPCA
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper studies the impact of L2 cache sharing on threads that simultaneously share the cache, on a Chip Multi-Processor (CMP) architecture. Cache sharing impacts threads non-u...