2252 search results - page 301 / 451 » Regular expression patterns |
112
click to vote
ICCAD
2003
IEEE
16 years 2 days ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
168
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—We consider multi-user MIMO broadcast channels with limited feedback. A recently proposed linear precoding technique, regularized block diagonalization (RBD), is used to mitigat...
125
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
131
click to vote
ISEUD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
136
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...