1249 search results - page 127 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
170
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
194
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
174
click to vote
IJCAI
2007
15 years 7 months ago
2007
Computing semantic relatedness of natural language texts requires access to vast amounts of common-sense and domain-specific world knowledge. We propose Explicit Semantic Analysi...
155
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
193
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...