search for: hopcroft

...tical. > The one i saw some hope for was > http://link.springer.com/chapter/10.1007%2F978-3-540-76637-7_22 > I haven't had a chance to play with it. If I recall correctly, AWZ will get this too (https://courses.cs.washington.edu/courses/cse501/04wi/papers/alpern-popl88.pdf). AWZ is a Hopcroft-partitioning-based algorithm, and Hopcroft partitioning is O(n*log(n)). -Hal > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -- Hal Finkel Assistant Computatio...

...ith it. This looks very promising, thank you. On Wed, 4 May 2016 at 11:01 Daniel Berlin <dberlin at dberlin.org> wrote: > >> If I recall correctly, AWZ will get this too ( >> https://courses.cs.washington.edu/courses/cse501/04wi/papers/alpern-popl88.pdf). >> AWZ is a Hopcroft-partitioning-based algorithm, and Hopcroft partitioning >> is O(n*log(n)). >> >> Yes, AWZ will get some, and the hash based ones will get some different > ones. > > The one i have implemented unifies AWZ and hash based and will also do > predication/value inference. &g...

This is off-topic. I''m hoping someone on this list can point me towards more general information on finite state machines, their definition, how to build them, determining when to apply them, etc. I read Zed''s blog entry from way back when covering Ragel [1] but he hasn''t followed it up and there aren''t many pointers to external information.

..., ethereal shows the negotiated protocol index to be 7 (greater thanLANMAN 2.1) and the errors are NT Status: STATUS_LOGON_FAILURE (0xc0 00 00 6d). Pcap file availble on request. Thank you, Yours sincerely. -- ------------------------------------------------------------------------ Stanley Hopcroft ------------------------------------------------------------------------ '...No man is an island, entire of itself; every man is a piece of the continent, a part of the main. If a clod be washed away by the sea, Europe is the less, as well as if a promontory were, as well as if a manor of thy...

Hello, I was hoping to get some clarification on the aim of the GVN pass. I have been reading a bit about global value numbering, and from what I understand, there are polynomial time algorithms for removing duplicate computations from loops[1]. I have an example program[2] which computes the sum of an array twice, in two separate accumulators. Here, sum0 and sum1 are both sums of the array A.

...print_smb(data,maxbuf>data+nbt_len?data+nbt_len:maxbuf); with print_smb(data,data+nbt_len); The complete set of patches to apply Mr Tridgells marvellous work to tcpdump-3.4a6 can be had by asking (the changes are to Makefile.in and the line above). Thank you, Yours sincerely S Hopcroft shopcroft@IPAustralia (better known as the Patents Office) IP Australia.

...earing suits who flourish the MS documents but can't apply them . commercial protocol analysers that stop at decoding the SMB opcode (I have yet to see a product - I haven't seen the MS stuff - that provides as much detail, mandatory detail as tcpdump-smb) Thank you, Yours sincerely S Hopcroft IP Australia

...e. and . Unix hosts are so much quicker to respond to my input than any MS product . There are more cheap, easy to use, readily available tools for Unix than MS products (Perl being the only exception). I'd really like to hear your answers to these questions. Thank you, Yours sincerely, S Hopcroft

I'm sorry, you can pinch me for that I'm trying to install qmailadmin and getting this error about not having vlimits.h file, I found that this is a system file, so I thought may be someone has it and can email it to me. Thanks Anton

Hi folks, My stack of trusty FreeBSD servers always seems to be growing, and it's getting to the point where the daily and security output mail is too much to make good use of. I'm looking for suggestions for log monitoring and aggregation tools, especially from a monitoring-for-security perspective. If I had to imagine an ideal system, it would be a central server that securely

Dear Ladies and Gentlemen, I am writing to ask your help with what may be an nmbd interworking problem. The situation is as described in the samba distribution documenet BROWSING.TXT. I have LANS connected by routers to a central site. FreeBSD 2.2.2R/Samba 1.9.17 nmbds at the remote LAN act as WINS proxy's to a a Samba WINS at the central site. All is well when the WINS proxy samba and the

Dear Ladies and Gentlemen, I am writing to ask your help with a problem whereby 3 NT4.0 + Sservice Pack 3 servers frequently log (in their event lists) that the browsing service cannot get the list of domain resources (the reply to NetServerEnum2) from the master browser (when the boxes are functioning as backup browsers). The situation is :- . NT machines browsing on both NetBUEI and NetBT